with the hope that

wishing for and expecting sth.: hoping for (that, to)

• В НАДЕЖДЕ на что; В НАДЕЖДЕ (, что...)

[PrepP; Invar; the resulting PrepP is adv]

=====

⇒ wishing for and expecting sth.:

- hoping for (that, to);

- with the hope that;

- in hopes that;

- in the hope of (that).

     ♦ "Я только умоляю вас, сударыня, меня выслушать, дайте мне только две минуты свободного разговора... Я ужасно спешу!.." - прокричал истерически Митя, почувствовав, что она сейчас опять начнёт говорить, и в надежде перекричать её (Достоевский 1). "I only beg you, madame, to listen to me, allow me just two minutes to speak freely....I'm in a terrible hurry!" Mitya shouted hysterically, feeling that she was about to start talking again and hoping to outshout her (1a).

     ♦ Они [молодые интеллигентные люди] несли куда следует стихи Мандельштама или доносы на сослуживца в надежде, что за это напечатают их собственные опусы или повысят их по службе (Мандельштам 1). They [young people of education] took copies of M[andelstam]'s verse to the police, or denounced colleagues in the hope of getting their own writings published, or of being promoted in their work (1a).

 

дистанционное техническое обслуживание
Техническое обслуживание объекта, проводимое под управлением персонала без его непосредственного присутствия.
[ОСТ 45.152-99 ]

Параллельные тексты EN-RU из ABB Review. Перевод компании Интент

I

• В РАСЧЕТЕ (с кем) coll

[PrepP; Invar; subj-compl with быть (subj: human)) not obliged or indebted to s.o. in any way: X с Y-ом в расчете ≈ X and Y are even; X is (all) square with Y; X doesn't owe Y < Y doesn't owe X> a thing; [in refer, to money only]

=====

⇒ X doesn't owe Y < Y doesn't owe X> a kopeck <a penny, a cent>.

II

• В РАСЧЕТЕ на что or (на то,) что...; С РАСЧЕТОМ

[PrepP; these forms only; the resulting PrepP is adv]

=====

⇒ expecting, anticipating, or hoping for sth. or that sth. will come to pass:

- in anticipation of;

- with the expectation of (that);

- counting on (upon);

- banking on (the fact that);

- figuring that;

- in the hope that.

     ♦ Его [Михаила] удивил яркий свет в своей избе, который он увидел еще от задних воротец. Не иначе как зажгли новую... лампу, которую он купил нынешней весной в расчёте на хорошие перемены в жизни (Абрамов 1). Не [Mikhail] was surprised by the bright light in his house, which he noticed from the back gate. They must have lit the new...lamp that he had bought that spring in anticipation of changes for the better (1a).

     ♦ [Репников:] Да понимаешь ли ты, что этот прохвост пришёл сюда в расчете, что ты ему поможешь? (Вампилов 3). [R.:] Do you realize that scoundrel came here counting on you to help him? (3b)

     ♦...[Строители] станут планировать жилье с расчётом на эти бараки. Раз стоят [бараки], - значит, жить можно, мало ли что некрасиво и неудобно - не до жиру, быть бы живу (Тендряков 1). [context transl]... [The builders] would take these barracks into account in planning future housing needs. Since they [the barracks] were already there, they would argue, people might as well stay in them, in spite of the fact that they were ugly and inconvenient: beggars couldn't be choosers (1a)

expecting, anticipating, or hoping for sth. or that sth. will come to pass

in anticipation of

• В РАСЧЕТЕ на что or (на то,) что...; С РАСЧЕТОМ

[PrepP; these forms only; the resulting PrepP is adv]

=====

⇒ expecting, anticipating, or hoping for sth. or that sth. will come to pass:

- in anticipation of;

- with the expectation of (that);

- counting on (upon);

- banking on (the fact that);

- figuring that;

- in the hope that.

     ♦ Его [Михаила] удивил яркий свет в своей избе, который он увидел еще от задних воротец. Не иначе как зажгли новую... лампу, которую он купил нынешней весной в расчёте на хорошие перемены в жизни (Абрамов 1). Не [Mikhail] was surprised by the bright light in his house, which he noticed from the back gate. They must have lit the new...lamp that he had bought that spring in anticipation of changes for the better (1a).

     ♦ [Репников:] Да понимаешь ли ты, что этот прохвост пришёл сюда в расчете, что ты ему поможешь? (Вампилов 3). [R.:] Do you realize that scoundrel came here counting on you to help him? (3b)

     ♦...[Строители] станут планировать жилье с расчётом на эти бараки. Раз стоят [бараки], - значит, жить можно, мало ли что некрасиво и неудобно - не до жиру, быть бы живу (Тендряков 1). [context transl]... [The builders] would take these barracks into account in planning future housing needs. Since they [the barracks] were already there, they would argue, people might as well stay in them, in spite of the fact that they were ugly and inconvenient: beggars couldn't be choosers (1a)

Делегация Украины выражает глубокое соболезнование правительству и народу Мексики в связи со стихийным бедствием, сильным землетрясением, повлекшим многочисленные человеческие жертвы и большие разрушения.

Прежде чем перейти к повестке дня сегодняшнего утреннего заседания, позвольте мне от имени всех членов комитета выразить наше самое искреннее соболезнование правительству и народу Х-а в связи с трагической гибелью людей и серьезным материальным ущербом в результате недавних стихийных бедствий, обрушившихся на эту страну.

Мы понесли тяжелую/невосполнимую утрату.

Я должен выполнить печальную обязанность и известить нашу Ассамблею о безвременной кончине Главы государства Республики X Его Превосходительства Н.Н. Известие о кончине Н.Н.-а, всегда стоявшего за дело мира и взаимопонимания — то есть за дело нашей организации, — вызвало у меня чувство глубокой скорби. От нашего имени я прошу представителя Х'а передать наши соболезнования правительству и народу Х'а и семье покойного. Прошу членов нашей Ассамблеи встать и почтить память Н.Н. минутой молчания.

Наша делегация искренне благодарна всем представителям, высказавшим во время сессии Комиссии сочувствие.

You have my deepest sympathy

I should like to convey/express my deepest sympathy

I feel for you

Делегация Украины выражает глубокое соболезнование правительству и народу Мексики в связи со стихийным бедствием, сильным землетрясением, повлекшим многочисленные человеческие жертвы и большие разрушения.

Прежде чем перейти к повестке дня сегодняшнего утреннего заседания, позвольте мне от имени всех членов комитета выразить наше самое искреннее соболезнование правительству и народу Х-а в связи с трагической гибелью людей и серьезным материальным ущербом в результате недавних стихийных бедствий, обрушившихся на эту страну.

Мы понесли тяжелую/невосполнимую утрату.

Я должен выполнить печальную обязанность и известить нашу Ассамблею о безвременной кончине Главы государства Республики X Его Превосходительства Н.Н. Известие о кончине Н.Н.-а, всегда стоявшего за дело мира и взаимопонимания — то есть за дело нашей организации, — вызвало у меня чувство глубокой скорби. От нашего имени я прошу представителя Х'а передать наши соболезнования правительству и народу Х'а и семье покойного. Прошу членов нашей Ассамблеи встать и почтить память Н.Н. минутой молчания.

Наша делегация искренне благодарна всем представителям, высказавшим во время сессии Комиссии сочувствие.

( чья), тж. песня спета (пропета) ( чья)

X питает надежду (на Y) = X harbors (cherishes, entertains) the hope (that Y will happen)

• ПИТАТЬ НАДЕЖДУ (-ы) (,на что)

[VP; subj: human]

=====

⇒ to have a hope:

- X питает надежду (на Y) ≈ X harbors (cherishes, entertains) the hope (that Y will happen);

- X hopes forY.

     ♦ Инстинкт самосохранения был слишком силён, именно тот инстинкт, который заставляет осуждённого на казнь питать надежды, которым никогда не суждено сбыться (Салтыков-Щедрин 2). [context transl] His instinct for self-preservation was too strong, the same instinct which fills a man sentenced to death with hopes which are destined never to be fulfilled (2a).

• ПИТАТЬ НАДЕЖДУ (-ы) (,на что)

[VP; subj: human]

=====

⇒ to have a hope:

- X питает надежду (на Y) ≈ X harbors (cherishes, entertains) the hope (that Y will happen);

- X hopes forY.

     ♦ Инстинкт самосохранения был слишком силён, именно тот инстинкт, который заставляет осуждённого на казнь питать надежды, которым никогда не суждено сбыться (Салтыков-Щедрин 2). [context transl] His instinct for self-preservation was too strong, the same instinct which fills a man sentenced to death with hopes which are destined never to be fulfilled (2a).

Var.: Дал Бог денёчек, даст и кусочек

1) General subject: hopefully, amid hopes (на то, что...), (на то, что...) in the hope that

2) Business: with a view to

3) Makarov: in view

1) General subject: flatter oneself that, flatter oneself with the hope

2) Makarov: flatter oneself

• В качестве более сложного примера мы докажем, что... - As a slightly harder example we prove that...

• В общем случае можно доказать, что... - In general, it is possible to prove that...

• В результате теперь достаточно лишь доказать, что... - Consequently it is enough to prove that...

• Вдобавок можно доказать, что... - In fact it can be proved that...

• Гильберт был первым, кто доказал, что... - Hilbert was the first to prove that...

• Для того, чтобы доказать этот результат, мы должны, во-первых, вычислить... - In order to prove this result we must first calculate...

• Докажем теперь обобщение теоремы 1. - We now prove a generalization of Theorem 1.

• Полезность данной теории еще необходимо доказать. - The utility of this theory has yet to be demonstrated.

• Иногда весьма трудно доказать, что... - It is sometimes quite difficult to prove that...

• Исходя из этих сведений, легко доказать, что... - From these facts it is easy to prove that...

• Итак, мы уже доказали, что... - We have thus proved that...

• Как и ранее, (нам) достаточно доказать... - As before, it is sufficient to prove...

• Мы все еще должны доказать, что... - We still must show that...

• Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...

• Мы докажем, что... - We deduce that...

• Мы доказали следующий результат. - We have proved the following result.

• Мы можем доказать правильность соотношения (6), заметив, что... - We can prove the correctness of (6) by observing that...

• Мы можем доказать это без (особого) труда. - We can prove this without difficulty.

• Мы надеемся доказать гипотезу Смита в ближайшие годы. - We hope to prove Smith's conjecture within a few years.

• Мы надеемся доказать, что... - We hope to prove that...

• Мы надеемся удалить эти ограничения и доказать более общий результат. - We hope to remove these restrictions and prove a more general result.

• Мы надеемся, что кто-нибудь докажет гипотезу Смита в ближайшие годы. - We hope that someone will prove Smith's conjecture within the next few years.

• Мы не будем доказывать здесь чрезвычайно правдоподобное утверждение, что... - We will not prove here the very reasonable statement that...

• Мы не предлагаем доказывать существование... - We do not propose to prove the existence of...

• Мы только что доказали, что... - We have just proved that...

• На этом пути мы надеемся доказать существенный результат. - We hope to prove a significant result along these lines.

• Наконец, мы можем доказать, что... - Finally, we can prove that...

• Остается доказать, (что)... - It remains to show (that)...

• Подобное рассуждение доказало бы, что... - A similar argument would prove that...

• Подобные принципы доказали свою полезность при проектировании... - Similar principles prove helpful in the design of...

• Подобные рассуждения доказывают следующий результат. - Arguments of the same type prove the following result.

• Подобные результаты убедительно доказывают, что... - Such results conclusively prove that...

• Поняв это, мы можем доказать следующее. - With this understanding, we can prove the following.

• Следовательно, можно доказать, что... -It is therefore justifiable to...

• Следовательно, мы должны доказать лишь, что... - Hence we have only to prove that...

• Сначала мы обязаны доказать следующую теорему. - We must first prove the following theorem.

• Строго говоря, мы доказали лишь, что... - Strictly speaking, we have only proved that...;

• Тем лее способом мы доказываем, что... - In the same way we prove that...

• Теперь мы доказываем важную теорему, принадлежащую Банаху. - We now prove an important theorem due to Banach.

• Теперь мы доказываем два фундаментальных результата. - We now prove two fundamental results.

• Теперь мы доказываем один фундаментальный результат. - We now prove a fundamental result.

• Теперь мы можем доказать следующую теорему. - This result enables us to prove the following theorem; We are now able to prove the following theorem; With this result in hand, we can prove the following theorem; With this understanding, we can prove the following theorem; Knowing this, we can prove the following theorem; We can now prove the following theorem; We are now in a position to prove the following theorem; The following theorem is now within our reach; We are now ready for the following theorem.

• Теперь мы можем сформулировать и доказать... - We are now in a position to state and prove...

• Теперь мы подготовлены к тому, чтобы сформулировать и доказать... - We are now equipped to state and prove...

• Теперь это предположение доказано, так как... - This assumption has now been justified, since...

• Часто бывает проще доказать, что... - It is often easier to prove that...

• Чтобы доказать обратное, достаточно заметить, что... - То prove the converse it is sufficient to notice that...

• Чтобы доказать теорему, достаточно показать, что... - То prove the theorem it is sufficient to show that...

• Чтобы доказать это следствие... - То see the corollary, use Proposition 1 to obtain the needed estimation.

• Чтобы доказать это утверждение, мы сделаем упрощающее предположение, что... - То prove this statement, we make the simplifying assumption that...

• Чтобы доказать эту теорему, во-первых, предположим, что... - То prove the theorem, suppose first that...

• Чтобы доказать эту теорему, недостаточно увидеть, что... - То prove this theorem it is not enough to observe that...

• Чтобы это доказать, нам остается лишь показать, что... - То prove this we need only show that...

• Это доказывает лишь то, что... - This proves only that...

• Это доказывает первое утверждение. - This proves the first assertion.

• Это доказывает, что... - This proves that...

• Это можно доказать следующим образом. - This may be proved as follows.

• Этот подход доказал свою полезность в определении ранних стадий... - This approach has proven useful in identifying the early stages of...

• что и требовалось доказать (= ч. т. д. ) - Q. E. D.

 

модульный центр обработки данных (ЦОД)
-
[Интент]

Параллельные тексты EN-RU

[ http://loosebolts.wordpress.com/2008/12/02/our-vision-for-generation-4-modular-data-centers-one-way-of-getting-it-just-right/]

[ http://dcnt.ru/?p=9299#more-9299]

Data Centers are a hot topic these days. No matter where you look, this once obscure aspect of infrastructure is getting a lot of attention. For years, there have been cost pressures on IT operations and this, when the need for modern capacity is greater than ever, has thrust data centers into the spotlight. Server and rack density continues to rise, placing DC professionals and businesses in tighter and tougher situations while they struggle to manage their IT environments. And now hyper-scale cloud infrastructure is taking traditional technologies to limits never explored before and focusing the imagination of the IT industry on new possibilities.

В настоящее время центры обработки данных являются широко обсуждаемой темой. Куда ни посмотришь, этот некогда малоизвестный аспект инфраструктуры привлекает все больше внимания. Годами ИТ-отделы испытывали нехватку средств и это выдвинуло ЦОДы в центр внимания, в то время, когда необходимость в современных ЦОДах стала как никогда высокой. Плотность серверов и стоек продолжают расти, все больше усложняя ситуацию для специалистов в области охлаждения и организаций в их попытках управлять своими ИТ-средами. И теперь гипермасштабируемая облачная инфраструктура подвергает традиционные технологии невиданным ранее нагрузкам, и заставляет ИТ-индустрию искать новые возможности.

At Microsoft, we have focused a lot of thought and research around how to best operate and maintain our global infrastructure and we want to share those learnings. While obviously there are some aspects that we keep to ourselves, we have shared how we operate facilities daily, our technologies and methodologies, and, most importantly, how we monitor and manage our facilities. Whether it’s speaking at industry events, inviting customers to our “Microsoft data center conferences” held in our data centers, or through other media like blogging and white papers, we believe sharing best practices is paramount and will drive the industry forward. So in that vein, we have some interesting news to share.

В компании MicroSoft уделяют большое внимание изучению наилучших методов эксплуатации и технического обслуживания своей глобальной инфраструктуры и делятся результатами своих исследований. И хотя мы, конечно, не раскрываем некоторые аспекты своих исследований, мы делимся повседневным опытом эксплуатации дата-центров, своими технологиями и методологиями и, что важнее всего, методами контроля и управления своими объектами. Будь то доклады на отраслевых событиях, приглашение клиентов на наши конференции, которые посвящены центрам обработки данных MicroSoft, и проводятся в этих самых дата-центрах, или использование других средств, например, блоги и спецификации, мы уверены, что обмен передовым опытом имеет первостепенное значение и будет продвигать отрасль вперед.

Today we are sharing our Generation 4 Modular Data Center plan. This is our vision and will be the foundation of our cloud data center infrastructure in the next five years. We believe it is one of the most revolutionary changes to happen to data centers in the last 30 years. Joining me, in writing this blog are Daniel Costello, my director of Data Center Research and Engineering and Christian Belady, principal power and cooling architect. I feel their voices will add significant value to driving understanding around the many benefits included in this new design paradigm.

Сейчас мы хотим поделиться своим планом модульного дата-центра четвертого поколения. Это наше видение и оно будет основанием для инфраструктуры наших облачных дата-центров в ближайшие пять лет. Мы считаем, что это одно из самых революционных изменений в дата-центрах за последние 30 лет. Вместе со мной в написании этого блога участвовали Дэниел Костелло, директор по исследованиям и инжинирингу дата-центров, и Кристиан Белади, главный архитектор систем энергоснабжения и охлаждения. Мне кажется, что их авторитет придаст больше веса большому количеству преимуществ, включенных в эту новую парадигму проектирования.

Our “Gen 4” modular data centers will take the flexibility of containerized servers—like those in our Chicago data center—and apply it across the entire facility. So what do we mean by modular? Think of it like “building blocks”, where the data center will be composed of modular units of prefabricated mechanical, electrical, security components, etc., in addition to containerized servers.

Was there a key driver for the Generation 4 Data Center?

Наши модульные дата-центры “Gen 4” будут гибкими с контейнерами серверов – как серверы в нашем чикагском дата-центре. И гибкость будет применяться ко всему ЦОД. Итак, что мы подразумеваем под модульностью? Мы думаем о ней как о “строительных блоках”, где дата-центр будет состоять из модульных блоков изготовленных в заводских условиях электрических систем и систем охлаждения, а также систем безопасности и т.п., в дополнение к контейнеризованным серверам.
Был ли ключевой стимул для разработки дата-центра четвертого поколения?

If we were to summarize the promise of our Gen 4 design into a single sentence it would be something like this: “A highly modular, scalable, efficient, just-in-time data center capacity program that can be delivered anywhere in the world very quickly and cheaply, while allowing for continued growth as required.” Sounds too good to be true, doesn’t it? Well, keep in mind that these concepts have been in initial development and prototyping for over a year and are based on cumulative knowledge of previous facility generations and the advances we have made since we began our investments in earnest on this new design.

Если бы нам нужно было обобщить достоинства нашего проекта Gen 4 в одном предложении, это выглядело бы следующим образом: “Центр обработки данных с высоким уровнем модульности, расширяемости, и энергетической эффективности, а также возможностью постоянного расширения, в случае необходимости, который можно очень быстро и дешево развертывать в любом месте мира”. Звучит слишком хорошо для того чтобы быть правдой, не так ли? Ну, не забывайте, что эти концепции находились в процессе начальной разработки и создания опытного образца в течение более одного года и основываются на опыте, накопленном в ходе развития предыдущих поколений ЦОД, а также успехах, сделанных нами со времени, когда мы начали вкладывать серьезные средства в этот новый проект.

One of the biggest challenges we’ve had at Microsoft is something Mike likes to call the ‘Goldilock’s Problem’. In a nutshell, the problem can be stated as:

The worst thing we can do in delivering facilities for the business is not have enough capacity online, thus limiting the growth of our products and services.

Одну из самых больших проблем, с которыми приходилось сталкиваться Майкрософт, Майк любит называть ‘Проблемой Лютика’. Вкратце, эту проблему можно выразить следующим образом:

Самое худшее, что может быть при строительстве ЦОД для бизнеса, это не располагать достаточными производственными мощностями, и тем самым ограничивать рост наших продуктов и сервисов.

The second worst thing we can do in delivering facilities for the business is to have too much capacity online.

А вторым самым худшим моментом в этой сфере может слишком большое количество производственных мощностей.

This has led to a focus on smart, intelligent growth for the business — refining our overall demand picture. It can’t be too hot. It can’t be too cold. It has to be ‘Just Right!’ The capital dollars of investment are too large to make without long term planning. As we struggled to master these interesting challenges, we had to ensure that our technological plan also included solutions for the business and operational challenges we faced as well.
So let’s take a high level look at our Generation 4 design

Это заставило нас сосредоточиваться на интеллектуальном росте для бизнеса — refining our overall demand picture. Это не должно быть слишком горячим. И это не должно быть слишком холодным. Это должно быть ‘как раз, таким как надо!’ Нельзя делать такие большие капиталовложения без долгосрочного планирования. Пока мы старались решить эти интересные проблемы, мы должны были гарантировать, что наш технологический план будет также включать решения для коммерческих и эксплуатационных проблем, с которыми нам также приходилось сталкиваться.
Давайте рассмотрим наш проект дата-центра четвертого поколения

Are you ready for some great visuals? Check out this video at Soapbox. Click here for the Microsoft 4th Gen Video.

It’s a concept video that came out of my Data Center Research and Engineering team, under Daniel Costello, that will give you a view into what we think is the future.

From a configuration, construct-ability and time to market perspective, our primary goals and objectives are to modularize the whole data center. Not just the server side (like the Chicago facility), but the mechanical and electrical space as well. This means using the same kind of parts in pre-manufactured modules, the ability to use containers, skids, or rack-based deployments and the ability to tailor the Redundancy and Reliability requirements to the application at a very specific level.

Посмотрите это видео, перейдите по ссылке для просмотра видео о Microsoft 4th Gen:

Это концептуальное видео, созданное командой отдела Data Center Research and Engineering, возглавляемого Дэниелом Костелло, которое даст вам наше представление о будущем.

С точки зрения конфигурации, строительной технологичности и времени вывода на рынок, нашими главными целями и задачами агрегатирование всего дата-центра. Не только серверную часть, как дата-центр в Чикаго, но также системы охлаждения и электрические системы. Это означает применение деталей одного типа в сборных модулях, возможность использования контейнеров, салазок, или стоечных систем, а также возможность подстраивать требования избыточности и надежности для данного приложения на очень специфичном уровне.

Our goals from a cost perspective were simple in concept but tough to deliver. First and foremost, we had to reduce the capital cost per critical Mega Watt by the class of use. Some applications can run with N-level redundancy in the infrastructure, others require a little more infrastructure for support. These different classes of infrastructure requirements meant that optimizing for all cost classes was paramount. At Microsoft, we are not a one trick pony and have many Online products and services (240+) that require different levels of operational support. We understand that and ensured that we addressed it in our design which will allow us to reduce capital costs by 20%-40% or greater depending upon class.

Нашими целями в области затрат были концептуально простыми, но трудно реализуемыми. В первую очередь мы должны были снизить капитальные затраты в пересчете на один мегаватт, в зависимости от класса резервирования. Некоторые приложения могут вполне работать на базе инфраструктуры с резервированием на уровне N, то есть без резервирования, а для работы других приложений требуется больше инфраструктуры. Эти разные классы требований инфраструктуры подразумевали, что оптимизация всех классов затрат имеет преобладающее значение. В Майкрософт мы не ограничиваемся одним решением и располагаем большим количеством интерактивных продуктов и сервисов (240+), которым требуются разные уровни эксплуатационной поддержки. Мы понимаем это, и учитываем это в своем проекте, который позволит нам сокращать капитальные затраты на 20%-40% или более в зависимости от класса.

For example, non-critical or geo redundant applications have low hardware reliability requirements on a location basis. As a result, Gen 4 can be configured to provide stripped down, low-cost infrastructure with little or no redundancy and/or temperature control. Let’s say an Online service team decides that due to the dramatically lower cost, they will simply use uncontrolled outside air with temperatures ranging 10-35 C and 20-80% RH. The reality is we are already spec-ing this for all of our servers today and working with server vendors to broaden that range even further as Gen 4 becomes a reality. For this class of infrastructure, we eliminate generators, chillers, UPSs, and possibly lower costs relative to traditional infrastructure.

Например, некритичные или гео-избыточные системы имеют низкие требования к аппаратной надежности на основе местоположения. В результате этого, Gen 4 можно конфигурировать для упрощенной, недорогой инфраструктуры с низким уровнем (или вообще без резервирования) резервирования и / или температурного контроля. Скажем, команда интерактивного сервиса решает, что, в связи с намного меньшими затратами, они будут просто использовать некондиционированный наружный воздух с температурой 10-35°C и влажностью 20-80% RH. В реальности мы уже сегодня предъявляем эти требования к своим серверам и работаем с поставщиками серверов над еще большим расширением диапазона температур, так как наш модуль и подход Gen 4 становится реальностью. Для подобного класса инфраструктуры мы удаляем генераторы, чиллеры, ИБП, и, возможно, будем предлагать более низкие затраты, по сравнению с традиционной инфраструктурой.

Applications that demand higher level of redundancy or temperature control will use configurations of Gen 4 to meet those needs, however, they will also cost more (but still less than traditional data centers). We see this cost difference driving engineering behavioral change in that we predict more applications will drive towards Geo redundancy to lower costs.

Системы, которым требуется более высокий уровень резервирования или температурного контроля, будут использовать конфигурации Gen 4, отвечающие этим требованиям, однако, они будут также стоить больше. Но все равно они будут стоить меньше, чем традиционные дата-центры. Мы предвидим, что эти различия в затратах будут вызывать изменения в методах инжиниринга, и по нашим прогнозам, это будет выражаться в переходе все большего числа систем на гео-избыточность и меньшие затраты.

Another cool thing about Gen 4 is that it allows us to deploy capacity when our demand dictates it. Once finalized, we will no longer need to make large upfront investments. Imagine driving capital costs more closely in-line with actual demand, thus greatly reducing time-to-market and adding the capacity Online inherent in the design. Also reduced is the amount of construction labor required to put these “building blocks” together. Since the entire platform requires pre-manufacture of its core components, on-site construction costs are lowered. This allows us to maximize our return on invested capital.

Еще одно достоинство Gen 4 состоит в том, что он позволяет нам разворачивать дополнительные мощности, когда нам это необходимо. Как только мы закончим проект, нам больше не нужно будет делать большие начальные капиталовложения. Представьте себе возможность более точного согласования капитальных затрат с реальными требованиями, и тем самым значительного снижения времени вывода на рынок и интерактивного добавления мощностей, предусматриваемого проектом. Также снижен объем строительных работ, требуемых для сборки этих “строительных блоков”. Поскольку вся платформа требует предварительного изготовления ее базовых компонентов, затраты на сборку также снижены. Это позволит нам увеличить до максимума окупаемость своих капиталовложений.
Мы все подвергаем сомнению

In our design process, we questioned everything. You may notice there is no roof and some might be uncomfortable with this. We explored the need of one and throughout our research we got some surprising (positive) results that showed one wasn’t needed.

В своем процессе проектирования мы все подвергаем сомнению. Вы, наверное, обратили внимание на отсутствие крыши, и некоторым специалистам это могло не понравиться. Мы изучили необходимость в крыше и в ходе своих исследований получили удивительные результаты, которые показали, что крыша не нужна.
Серийное производство дата центров

In short, we are striving to bring Henry Ford’s Model T factory to the data center. http://en.wikipedia.org/wiki/Henry_Ford#Model_T. Gen 4 will move data centers from a custom design and build model to a commoditized manufacturing approach. We intend to have our components built in factories and then assemble them in one location (the data center site) very quickly. Think about how a computer, car or plane is built today. Components are manufactured by different companies all over the world to a predefined spec and then integrated in one location based on demands and feature requirements. And just like Henry Ford’s assembly line drove the cost of building and the time-to-market down dramatically for the automobile industry, we expect Gen 4 to do the same for data centers. Everything will be pre-manufactured and assembled on the pad.

Мы хотим применить модель автомобильной фабрики Генри Форда к дата-центру. Проект Gen 4 будет способствовать переходу от модели специализированного проектирования и строительства к товарно-производственному, серийному подходу. Мы намерены изготавливать свои компоненты на заводах, а затем очень быстро собирать их в одном месте, в месте строительства дата-центра. Подумайте о том, как сегодня изготавливается компьютер, автомобиль или самолет. Компоненты изготавливаются по заранее определенным спецификациям разными компаниями во всем мире, затем собираются в одном месте на основе спроса и требуемых характеристик. И точно так же как сборочный конвейер Генри Форда привел к значительному уменьшению затрат на производство и времени вывода на рынок в автомобильной промышленности, мы надеемся, что Gen 4 сделает то же самое для дата-центров. Все будет предварительно изготавливаться и собираться на месте.
Невероятно энергоэффективный ЦОД

And did we mention that this platform will be, overall, incredibly energy efficient? From a total energy perspective not only will we have remarkable PUE values, but the total cost of energy going into the facility will be greatly reduced as well. How much energy goes into making concrete? Will we need as much of it? How much energy goes into the fuel of the construction vehicles? This will also be greatly reduced! A key driver is our goal to achieve an average PUE at or below 1.125 by 2012 across our data centers. More than that, we are on a mission to reduce the overall amount of copper and water used in these facilities. We believe these will be the next areas of industry attention when and if the energy problem is solved. So we are asking today…“how can we build a data center with less building”?

А мы упоминали, что эта платформа будет, в общем, невероятно энергоэффективной? С точки зрения общей энергии, мы получим не только поразительные значения PUE, но общая стоимость энергии, затраченной на объект будет также значительно снижена. Сколько энергии идет на производство бетона? Нам нужно будет столько энергии? Сколько энергии идет на питание инженерных строительных машин? Это тоже будет значительно снижено! Главным стимулом является достижение среднего PUE не больше 1.125 для всех наших дата-центров к 2012 году. Более того, у нас есть задача сокращения общего количества меди и воды в дата-центрах. Мы думаем, что эти задачи станут следующей заботой отрасли после того как будет решена энергетическая проблема. Итак, сегодня мы спрашиваем себя…“как можно построить дата-центр с меньшим объемом строительных работ”?
Строительство дата центров без чиллеров

We have talked openly and publicly about building chiller-less data centers and running our facilities using aggressive outside economization. Our sincerest hope is that Gen 4 will completely eliminate the use of water. Today’s data centers use massive amounts of water and we see water as the next scarce resource and have decided to take a proactive stance on making water conservation part of our plan.

Мы открыто и публично говорили о строительстве дата-центров без чиллеров и активном использовании в наших центрах обработки данных технологий свободного охлаждения или фрикулинга. Мы искренне надеемся, что Gen 4 позволит полностью отказаться от использования воды. Современные дата-центры расходуют большие объемы воды и так как мы считаем воду следующим редким ресурсом, мы решили принять упреждающие меры и включить экономию воды в свой план.

By sharing this with the industry, we believe everyone can benefit from our methodology. While this concept and approach may be intimidating (or downright frightening) to some in the industry, disclosure ultimately is better for all of us.

Делясь этим опытом с отраслью, мы считаем, что каждый сможет извлечь выгоду из нашей методологией. Хотя эта концепция и подход могут показаться пугающими (или откровенно страшными) для некоторых отраслевых специалистов, раскрывая свои планы мы, в конечном счете, делаем лучше для всех нас.

Gen 4 design (even more than just containers), could reduce the ‘religious’ debates in our industry. With the central spine infrastructure in place, containers or pre-manufactured server halls can be either AC or DC, air-side economized or water-side economized, or not economized at all (though the sanity of that might be questioned). Gen 4 will allow us to decommission, repair and upgrade quickly because everything is modular. No longer will we be governed by the initial decisions made when constructing the facility. We will have almost unlimited use and re-use of the facility and site. We will also be able to use power in an ultra-fluid fashion moving load from critical to non-critical as use and capacity requirements dictate.

Проект Gen 4 позволит уменьшить ‘религиозные’ споры в нашей отрасли. Располагая базовой инфраструктурой, контейнеры или сборные серверные могут оборудоваться системами переменного или постоянного тока, воздушными или водяными экономайзерами, или вообще не использовать экономайзеры. Хотя можно подвергать сомнению разумность такого решения. Gen 4 позволит нам быстро выполнять работы по выводу из эксплуатации, ремонту и модернизации, поскольку все будет модульным. Мы больше не будем руководствоваться начальными решениями, принятыми во время строительства дата-центра. Мы сможем использовать этот дата-центр и инфраструктуру в течение почти неограниченного периода времени. Мы также сможем применять сверхгибкие методы использования электрической энергии, переводя оборудование в режимы критической или некритической нагрузки в соответствии с требуемой мощностью.
Gen 4 – это стандартная платформа

Finally, we believe this is a big game changer. Gen 4 will provide a standard platform that our industry can innovate around. For example, all modules in our Gen 4 will have common interfaces clearly defined by our specs and any vendor that meets these specifications will be able to plug into our infrastructure. Whether you are a computer vendor, UPS vendor, generator vendor, etc., you will be able to plug and play into our infrastructure. This means we can also source anyone, anywhere on the globe to minimize costs and maximize performance. We want to help motivate the industry to further innovate—with innovations from which everyone can reap the benefits.

Наконец, мы уверены, что это будет фактором, который значительно изменит ситуацию. Gen 4 будет представлять собой стандартную платформу, которую отрасль сможет обновлять. Например, все модули в нашем Gen 4 будут иметь общепринятые интерфейсы, четко определяемые нашими спецификациями, и оборудование любого поставщика, которое отвечает этим спецификациям можно будет включать в нашу инфраструктуру. Независимо от того производите вы компьютеры, ИБП, генераторы и т.п., вы сможете включать свое оборудование нашу инфраструктуру. Это означает, что мы также сможем обеспечивать всех, в любом месте земного шара, тем самым сводя до минимума затраты и максимальной увеличивая производительность. Мы хотим создать в отрасли мотивацию для дальнейших инноваций – инноваций, от которых каждый сможет получать выгоду.
Главные характеристики дата-центров четвертого поколения Gen4

To summarize, the key characteristics of our Generation 4 data centers are:

Scalable
Plug-and-play spine infrastructure
Factory pre-assembled: Pre-Assembled Containers (PACs) & Pre-Manufactured Buildings (PMBs)
Rapid deployment
De-mountable
Reduce TTM
Reduced construction
Sustainable measures

Ниже приведены главные характеристики дата-центров четвертого поколения Gen 4:

Расширяемость;
Готовая к использованию базовая инфраструктура;
Изготовление в заводских условиях: сборные контейнеры (PAC) и сборные здания (PMB);
Быстрота развертывания;
Возможность демонтажа;
Снижение времени вывода на рынок (TTM);
Сокращение сроков строительства;
Экологичность;

Map applications to DC Class

We hope you join us on this incredible journey of change and innovation!

Long hours of research and engineering time are invested into this process. There are still some long days and nights ahead, but the vision is clear. Rest assured however, that we as refine Generation 4, the team will soon be looking to Generation 5 (even if it is a bit farther out). There is always room to get better.

Использование систем электропитания постоянного тока.

Мы надеемся, что вы присоединитесь к нам в этом невероятном путешествии по миру изменений и инноваций!

На этот проект уже потрачены долгие часы исследований и проектирования. И еще предстоит потратить много дней и ночей, но мы имеем четкое представление о конечной цели. Однако будьте уверены, что как только мы доведем до конца проект модульного дата-центра четвертого поколения, мы вскоре начнем думать о проекте дата-центра пятого поколения. Всегда есть возможность для улучшений.

So if you happen to come across Goldilocks in the forest, and you are curious as to why she is smiling you will know that she feels very good about getting very close to ‘JUST RIGHT’.

Generations of Evolution – some background on our data center designs

Так что, если вы встретите в лесу девочку по имени Лютик, и вам станет любопытно, почему она улыбается, вы будете знать, что она очень довольна тем, что очень близко подошла к ‘ОПИМАЛЬНОМУ РЕШЕНИЮ’.
Поколения эволюции – история развития наших дата-центров

We thought you might be interested in understanding what happened in the first three generations of our data center designs. When Ray Ozzie wrote his Software plus Services memo it posed a very interesting challenge to us. The winds of change were at ‘tornado’ proportions. That “plus Services” tag had some significant (and unstated) challenges inherent to it. The first was that Microsoft was going to evolve even further into an operations company. While we had been running large scale Internet services since 1995, this development lead us to an entirely new level. Additionally, these “services” would span across both Internet and Enterprise businesses. To those of you who have to operate “stuff”, you know that these are two very different worlds in operational models and challenges. It also meant that, to achieve the same level of reliability and performance required our infrastructure was going to have to scale globally and in a significant way.

Мы подумали, что может быть вам будет интересно узнать историю первых трех поколений наших центров обработки данных. Когда Рэй Оззи написал свою памятную записку Software plus Services, он поставил перед нами очень интересную задачу. Ветра перемен двигались с ураганной скоростью. Это окончание “plus Services” скрывало в себе какие-то значительные и неопределенные задачи. Первая заключалась в том, что Майкрософт собиралась в еще большей степени стать операционной компанией. Несмотря на то, что мы управляли большими интернет-сервисами, начиная с 1995 г., эта разработка подняла нас на абсолютно новый уровень. Кроме того, эти “сервисы” охватывали интернет-компании и корпорации. Тем, кому приходится всем этим управлять, известно, что есть два очень разных мира в области операционных моделей и задач. Это также означало, что для достижения такого же уровня надежности и производительности требовалось, чтобы наша инфраструктура располагала значительными возможностями расширения в глобальных масштабах.

It was that intense atmosphere of change that we first started re-evaluating data center technology and processes in general and our ideas began to reach farther than what was accepted by the industry at large. This was the era of Generation 1. As we look at where most of the world’s data centers are today (and where our facilities were), it represented all the known learning and design requirements that had been in place since IBM built the first purpose-built computer room. These facilities focused more around uptime, reliability and redundancy. Big infrastructure was held accountable to solve all potential environmental shortfalls. This is where the majority of infrastructure in the industry still is today.

Именно в этой атмосфере серьезных изменений мы впервые начали переоценку ЦОД-технологий и технологий вообще, и наши идеи начали выходить за пределы общепринятых в отрасли представлений. Это была эпоха ЦОД первого поколения. Когда мы узнали, где сегодня располагается большинство мировых дата-центров и где находятся наши предприятия, это представляло весь опыт и навыки проектирования, накопленные со времени, когда IBM построила первую серверную. В этих ЦОД больше внимания уделялось бесперебойной работе, надежности и резервированию. Большая инфраструктура была призвана решать все потенциальные экологические проблемы. Сегодня большая часть инфраструктуры все еще находится на этом этапе своего развития.

We soon realized that traditional data centers were quickly becoming outdated. They were not keeping up with the demands of what was happening technologically and environmentally. That’s when we kicked off our Generation 2 design. Gen 2 facilities started taking into account sustainability, energy efficiency, and really looking at the total cost of energy and operations.

Очень быстро мы поняли, что стандартные дата-центры очень быстро становятся устаревшими. Они не поспевали за темпами изменений технологических и экологических требований. Именно тогда мы стали разрабатывать ЦОД второго поколения. В этих дата-центрах Gen 2 стали принимать во внимание такие факторы как устойчивое развитие, энергетическая эффективность, а также общие энергетические и эксплуатационные.

No longer did we view data centers just for the upfront capital costs, but we took a hard look at the facility over the course of its life. Our Quincy, Washington and San Antonio, Texas facilities are examples of our Gen 2 data centers where we explored and implemented new ways to lessen the impact on the environment. These facilities are considered two leading industry examples, based on their energy efficiency and ability to run and operate at new levels of scale and performance by leveraging clean hydro power (Quincy) and recycled waste water (San Antonio) to cool the facility during peak cooling months.

Мы больше не рассматривали дата-центры только с точки зрения начальных капитальных затрат, а внимательно следили за работой ЦОД на протяжении его срока службы. Наши объекты в Куинси, Вашингтоне, и Сан-Антонио, Техас, являются образцами наших ЦОД второго поколения, в которых мы изучали и применяли на практике новые способы снижения воздействия на окружающую среду. Эти объекты считаются двумя ведущими отраслевыми примерами, исходя из их энергетической эффективности и способности работать на новых уровнях производительности, основанных на использовании чистой энергии воды (Куинси) и рециклирования отработанной воды (Сан-Антонио) для охлаждения объекта в самых жарких месяцах.

As we were delivering our Gen 2 facilities into steel and concrete, our Generation 3 facilities were rapidly driving the evolution of the program. The key concepts for our Gen 3 design are increased modularity and greater concentration around energy efficiency and scale. The Gen 3 facility will be best represented by the Chicago, Illinois facility currently under construction. This facility will seem very foreign compared to the traditional data center concepts most of the industry is comfortable with. In fact, if you ever sit around in our container hanger in Chicago it will look incredibly different from a traditional raised-floor data center. We anticipate this modularization will drive huge efficiencies in terms of cost and operations for our business. We will also introduce significant changes in the environmental systems used to run our facilities. These concepts and processes (where applicable) will help us gain even greater efficiencies in our existing footprint, allowing us to further maximize infrastructure investments.

Так как наши ЦОД второго поколения строились из стали и бетона, наши центры обработки данных третьего поколения начали их быстро вытеснять. Главными концептуальными особенностями ЦОД третьего поколения Gen 3 являются повышенная модульность и большее внимание к энергетической эффективности и масштабированию. Дата-центры третьего поколения лучше всего представлены объектом, который в настоящее время строится в Чикаго, Иллинойс. Этот ЦОД будет выглядеть очень необычно, по сравнению с общепринятыми в отрасли представлениями о дата-центре. Действительно, если вам когда-либо удастся побывать в нашем контейнерном ангаре в Чикаго, он покажется вам совершенно непохожим на обычный дата-центр с фальшполом. Мы предполагаем, что этот модульный подход будет способствовать значительному повышению эффективности нашего бизнеса в отношении затрат и операций. Мы также внесем существенные изменения в климатические системы, используемые в наших ЦОД. Эти концепции и технологии, если применимо, позволят нам добиться еще большей эффективности наших существующих дата-центров, и тем самым еще больше увеличивать капиталовложения в инфраструктуру.

This is definitely a journey, not a destination industry. In fact, our Generation 4 design has been under heavy engineering for viability and cost for over a year. While the demand of our commercial growth required us to make investments as we grew, we treated each step in the learning as a process for further innovation in data centers. The design for our future Gen 4 facilities enabled us to make visionary advances that addressed the challenges of building, running, and operating facilities all in one concerted effort.

Это определенно путешествие, а не конечный пункт назначения. На самом деле, наш проект ЦОД четвертого поколения подвергался серьезным испытаниям на жизнеспособность и затраты на протяжении целого года. Хотя необходимость в коммерческом росте требовала от нас постоянных капиталовложений, мы рассматривали каждый этап своего развития как шаг к будущим инновациям в области дата-центров. Проект наших будущих ЦОД четвертого поколения Gen 4 позволил нам делать фантастические предположения, которые касались задач строительства, управления и эксплуатации объектов как единого упорядоченного процесса.

Тематики

• ЦОДы (центры обработки данных)

Синонимы

• модульный ЦОД

EN

• modular data center

• Более слабая форма теоремы 1 может быть выведена из... - A weaker form of Theorem 1 can be deduced from...

• В следующей теореме мы устанавливаем дальнейшие свойства... - In the next theorem we obtain further properties of...

• В следующей теореме рассматривается случай, в котором/ когда... - The next theorem deals with the case in which...

• Важное следствие данной теоремы состоит в том, что... - An important consequence of this theorem is that...

• Возвращаясь теперь к доказательству основной теоремы, мы... - Returning now to the proof of the main theorem, we...

• Вышеупомянутые теоремы дают нам... - The foregoing theorems give us...

• Данная теорема немедленно вытекает из... - The theorem follows at once from...

• Данная теорема остается справедливой даже если... - The theorem is still true even if...

• Данная теорема по-прежнему справедлива в тривиальном случае, если... - The theorem still holds in a trivial sense if...

• Данная теорема принадлежит Гауссу. - This theorem is due to Gauss.

• Данная теорема является непосредственным следствием... - This theorem is a direct corollary of...

• Данный результат принадлежит Гауссу. Давайте сформулируем его как теорему. - This result is due to Gauss. Let us formulate it as a theorem.

• Для доказательства второго утверждения теоремы мы выписываем... - То prove part (ii), we write...

• Для удобства сформулируем здесь данную теорему. - We state this theorem here for convenience.

• Докажем теперь обобщение теоремы 1. - We now prove a generalization of Theorem 1.

• Его результаты могут быть подытожены следующей теоремой. - His results may be summed up in the following theorem.

• Из теоремы 1 мы легко выводим ряд важных следствий. - From Theorem l we easily deduce a number of important consequences.

• Из этих результатов мы выводим следующую важную теорему. - Prom these results we deduce the following important theorem.

• Имеется хорошо известная теорема о... - There is a well-known theorem on...

• Как мы увидим из дальнейшего, данная теорема является основой для... - This theorem, as we shall see, is the basis of...

• Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...

• Мы можем сразу применить данную теорему, чтобы найти... - We can at once apply this theorem to find...

• Мы можем сформулировать этот результат в виде теоремы. - We can state the result as a theorem.

• Мы можем, конечно, применить теорему 1 к случаю, где/ когда... - We can, of course, apply Theorem 1 to the case where...

• Мы надеемся доказать подобную теорему, хотя, возможно, и при дополнительных ограничениях. - We expect to prove such a theorem, although possibly under additional restrictions.

• Мы надеемся установить теорему относительно... - We hope to obtain a theorem regarding...; We hope to establish a theorem regarding...

• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.

• Мы рассуждаем точно как при доказательстве теоремы 1. - We argue exactly as in the proof of Theorem 1.

• Немедленным следствием теоремы 1 является следующее (утверждение). - An immediate consequence of Theorem 1 is the following.

• Несколько более глубокая теорема была доказана Смитом [1]. - A slightly deeper theorem is proved by Smith [1].

• Нижеследующая теорема дает условия, при которых... - The following theorem gives conditions under which...

• Нижеследующая теорема является основой для дальнейших приложений. - The next theorem is basic to the applications that follow.

• Однако следующая теорема показывает, что... - The next theorem shows, however, that...

• Первая часть теоремы уже была доказана. - The first part of the theorem has already been proved.

• Поверхностное прочтение данной теоремы могло бы привести к убеждению, что... - A superficial reading of this theorem might lead one to believe that...

• Последнюю теорему можно расширить, чтобы включить... - The last theorem can be extended to include...

• Применяя данную теорему, важно проверить, что... - When applying the theorem it is essential to check that...

• Простое но полезное следствие теоремы 1 состоит в том, что... - A simple but useful consequence of Theorem 1 is that...

• Рассмотрим эту теорему с точки зрения геометрии. - Let us consider this theorem geometrically.

• Следующая теорема обеспечивает более глубокое понимание (чего-л). - The next theorem provides more insight into...

• Следующая теорема дает другое расширение... - The following theorem gives another extension of...

• Следующая теорема дает полезный тест для проверки, действительно ли... - The following theorem gives a useful test for determining whether...

• Следующая теорема известна как... - The next theorem is known as...

• Следующая теорема имеет приложения при изучении... - The next theorem has applications in the study of...

• Следующая теорема обобщает хорошо известное свойство... - The following theorem generalizes a well-known property of...

• Следующая теорема позволяет нам показать, что... - The following theorem enables us to show that...

• Следующая теорема показывает как можно сделать это определение строгим. - The following theorem shows how this notion can be made precise.

• Следующая теорема является прямым обобщением... - The following theorem is a direct generalization of...

• Следующая теорема является ценной в этом контексте. - The following theorem is valuable in this context.

• Следующие теорема и следствие являются немедленными последствиями... - The following theorem and corollary are immediate consequences of...

• Следующий результат является переформулировкой теоремы Гаусса. - The following result is a restatement of Gauss's theorem.

• Сначала мы обязаны доказать следующую теорему. - We must first prove the following theorem.

• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...

• Таким образом, теорема может быть переформулирована следующим образом. - Thus the theorem can be rephrased as follows.

• Теорема Тейлора чрезвычайно полезна для изучения... - Taylor's theorem is extremely useful for the study of...

• Теорема не сообщает ничего о... - The theorem says nothing about...

• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.

• Теперь мы доказываем важную теорему, принадлежащую Банаху. - We now prove an important theorem due to Banach.

• Теперь мы можем доказать следующую теорему. - This result enables us to prove the following theorem; We are now able to prove the following theorem; With this result in hand, we can prove the following theorem; With this understanding, we can prove the following theorem; Knowing this, we can prove the following theorem; We can now prove the following theorem; We are now in a position to prove the following theorem; The following theorem is now within our reach; We are now ready for the following theorem.

• Теперь мы подходим к серии теорем, касающихся... - We now come to a series of theorems concerning...

• Формулировка теоремы требует изменения

(= модификации), если... - The statement of the theorem needs modification if...

• Хорошо известная теорема математического анализа утверждает, что... - A well-known theorem of analysis states that...

• Частным случаем этой теоремы является... - A particular case of this theorem is that...

• Чтобы доказать теорему, достаточно показать, что... - То prove the theorem it is sufficient to show that...

• Чтобы доказать эту теорему, во-первых, предположим, что... - То prove the theorem, suppose first that...

• Чтобы доказать эту теорему, недостаточно увидеть, что... - То prove this theorem it is not enough to observe that...

• Эта теорема обеспечивает нас... - This theorem provides us with...

• Эти две теоремы совместно показывают, что... - These two results together show that...

• Эти теоремы вполне аналогичны теоремам относительно... - These theorems are closely analogous to those concerning...

• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.

• Это и завершает доказательство теоремы. - This proves the theorem; The proof of the theorem is finished; Q. E. D.

• Это свойство является следствием следующей теоремы. - This property is a consequence of the following theorem.